/* testing whether we can get the correct value from
 * the local variable l-value.
 */
/*@*/
void main(){
  int a;
  bool b;
  int * p;
  a = 11;
  print(a);

  b = false;
  printb(b);

  printp(p);
  p = null;
  printp(p);

  *p = 12;
  print(*p);
  printp(p);
  return;
}
/*@*/
